Symbolic Logic — synonyms, definition

1. symbolic logic (Noun)

2 synonyms
formal logic mathematical logic
1 definition

symbolic logic (Noun) — Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity.

3 types of
logic logical system system of logic
8 types
Boolean algebra Boolean logic functional calculus fuzzy logic modal logic predicate calculus propositional calculus propositional logic